Sławomir Lasota: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the Joint Meeting of the Twenty-Third EACSL Annual Conference - Vienna, Austria (2014.07.14-2014.07.18)] Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14 - Turing machines with atoms, constraint satisfaction problems, and descriptive complexity

Klin, Bartek, Lasota, Sławomir, Ochremiak, Joanna, Toruńczyk, Szymon

Year:

2014

Language:

english

File:

PDF, 4.66 MB

english, 2014

2

Positron emission tomography by Markov chain Monte Carlo with auxiliary variables

Jacek Koronacki, Sławomir Lasota, Wojciech Niemiro

Journal:

Pattern Recognition

Year:

2005

Language:

english

File:

PDF, 662 KB

english, 2005

3

Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences

Sibylle Fröschle, Sławomir Lasota

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 489 KB

english, 2009

4

EXPSPACE lower bounds for the simulation preorder between a communication-free Petri net and a finite-state system

Sławomir Lasota

Journal:

Information Processing Letters

Year:

2009

Language:

english

File:

PDF, 196 KB

english, 2009

5

Causality versus true-concurrency

Sibylle Fröschle, Sławomir Lasota

Journal:

Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 349 KB

english, 2007

6

A version of the Swendsen–Wang algorithm for restoration of images degraded by Poisson noise

Sławomir Lasota, Wojciech Niemiro

Journal:

Pattern Recognition

Year:

2003

Language:

english

File:

PDF, 595 KB

english, 2003

7

Coalgebra morphisms subsume open maps

Sławomir Lasota

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 130 KB

english, 2002

8

Coalgebra morphisms subsume open maps

Slawomir Lasota

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

File:

PDF, 28 KB

1999

9

Causality Versus True-Concurrency

Sibylle Fröschle, Sławomir Lasota

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 352 KB

english, 2006

10

Decidability of performance equivalence for basic parallel processes

Sławomir Lasota

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 338 KB

english, 2006

11

Non-interleaving bisimulation equivalences on Basic Parallel Processes

Sibylle Fröschle, Petr Jančar, Slawomir Lasota, Zdeněk Sawa

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

12

Partially-commutative context-free processes: Expressibility and tractability

Wojciech Czerwiński, Sibylle Fröschle, Sławomir Lasota

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 364 KB

english, 2011

13

Diversity and structure ofPIF/Harbinger-like elements in the genome ofMedicago truncatula

Dariusz Grzebelus, Slawomir Lasota, Tomasz Gambin, Gregory Kucherov, Anna Gambin

Journal:

Year:

2007

Language:

english

File:

PDF, 481 KB

english, 2007

14

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Automata with Group Actions

Bojanczyk, Mikolaj, Klin, Bartek, Lasota, Slawomir

Year:

2011

Language:

english

File:

PDF, 375 KB

english, 2011

15

Tav4SB: integrating tools for analysis of kinetic models of biological systems

Mikołaj Rybiński, Michał Lula, Paweł Banasik, Sławomir Lasota, Anna Gambin

Journal:

BMC Systems Biology

Year:

2012

Language:

english

File:

PDF, 858 KB

english, 2012

16

Triterpene saponosides from Lysimachia ciliata differentially attenuate invasive potential of prostate cancer cells

Koczurkiewicz, Paulina, Podolak, Irma, Skrzeczyńska-Moncznik, Joanna, Sarna, Michał, Wójcik, Katarzyna Anna, Ryszawy, Damian, Galanty, Agnieszka, Lasota, Sławomir, Madeja, Zbigniew, Czyż, Jarosław, Mi

Journal:

Chemico-Biological Interactions

Year:

2013

Language:

english

File:

PDF, 2.59 MB

english, 2013

17

Decidability of Branching Bisimulation on Normed Commutative Context-Free Processes

Czerwiński, Wojciech, Hofman, Piotr, Lasota, Sławomir

Journal:

Theory of Computing Systems

Year:

2014

Language:

english

File:

PDF, 977 KB

english, 2014

18

Lovastatin-induced decrease of intracellular cholesterol level attenuates fibroblast-to-myofibroblast transition in bronchial fibroblasts derived from asthmatic patients

Michalik, Marta, Soczek, Ewelina, Kosińska, Milena, Rak, Monika, Wójcik, Katarzyna Anna, Lasota, Sławomir, Pierzchalska, Małgorzata, Czyż, Jarosław, Madeja, Zbigniew

Journal:

European Journal of Pharmacology

Year:

2013

Language:

english

File:

PDF, 987 KB

english, 2013

19

Incremental test case generation using bounded model checking: an application to automatic rating

Anielak, Grzegorz, Jakacki, Grzegorz, Lasota, Sławomir

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2015

Language:

english

File:

PDF, 535 KB

english, 2015

20

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - An Extension of Data Automata that Captures XPath

Bojanczyk, Mikolaj, Lasota, Slawomir

Year:

2010

Language:

english

File:

PDF, 341 KB

english, 2010

21

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Turing Machines with Atoms

Bojanczyk, Mikolaj, Klin, Bartek, Lasota, Slawomir, Torunczyk, Szymon

Year:

2013

Language:

english

File:

PDF, 1.14 MB

english, 2013

22

[IEEE 2008 International Conference on Signals and Electronic Systems - Krakow, Poland (2008.09.14-2008.09.17)] 2008 International Conference on Signals and Electronic Systems - Parameter decision diagram in the structural synthesis of analog networks

Lasota, Slawomir

Year:

2008

Language:

english

File:

PDF, 143 KB

english, 2008

23

Logical relations for monadic types

GOUBAULT-LARRECQ, JEAN, LASOTA, SŁAWOMIR, NOWAK, DAVID

Journal:

Mathematical Structures in Computer Science

Year:

2008

Language:

english

File:

PDF, 598 KB

english, 2008

24

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Towards nominal computation

Bojanczyk, Mikolaj, Braud, Laurent, Klin, Bartek, Lasota, Slawomir

Year:

2012

Language:

english

File:

PDF, 476 KB

english, 2012

25

Alternating timed automata

Lasota, Slawomir, Walukiewicz, Igor

Journal:

ACM Transactions on Computational Logic

Year:

2008

Language:

english

File:

PDF, 210 KB

english, 2008

26

[Lecture Notes in Computer Science] Reachability Problems Volume 9328 || Reducing Bounded Realizability Analysis to Reachability Checking

Bojańczyk, Mikołaj, Lasota, Sławomir, Potapov, Igor

Year:

2015

Language:

english

File:

PDF, 324 KB

english, 2015

27

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Timed Pushdown Automata Revisited

Clemente, Lorenzo, Lasota, Slawomir

Year:

2015

Language:

english

File:

PDF, 691 KB

english, 2015

28

Undecidability of performance equivalence of Petri nets

Lasota, Sławomir, Poturalski, Marcin

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 668 KB

english, 2016

29

Fast Multilevel & Always Cancelation-free Method for Large Electric Networks Exact Symbolic Analysis

Lasota, Sławomir

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 137 KB

english, 2012

30

Towards nominal computation

Bojanczyk, Mikolaj, Braud, Laurent, Klin, Bartek, Lasota, Slawomir

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 476 KB

english, 2012

31

Equivariant algorithms for constraint satisfaction problems over coset templates

Lasota, Sławomir

Journal:

Information Processing Letters

Year:

2017

Language:

english

File:

PDF, 363 KB

english, 2017

32

Triiodothyronine regulates cell growth and survival in renal cell cancer

Czarnecka, Anna, Matak, Damian, Szymanski, Lukasz, Czarnecka, Karolina, Lewicki, Slawomir, Zdanowski, Robert, Brzezianska-Lasota, Ewa, Szczylik, Cezary

Journal:

International Journal of Oncology

Year:

2016

Language:

english

File:

PDF, 1.35 MB

english, 2016

33

Electric field as a potential directional cue in homing of bone marrow-derived mesenchymal stem cells to cutaneous wounds

Zimolag, Eliza, Borowczyk-Michalowska, Julia, Kedracka-Krok, Sylwia, Skupien-Rabian, Bozena, Karnas, Elzbieta, Lasota, Slawomir, Sroka, Jolanta, Drukala, Justyna, Madeja, Zbigniew

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular Cell Research

Year:

2017

Language:

english

File:

PDF, 2.11 MB

english, 2017

34

Models of Modern Active Devices for Effective and Always Cancelation-free Symbolic Analysis**This research was supported by statutory funds (BK-220/RAu-3/2016) of the Institute of Electronics, Silesian University of Technology granted by Polish Ministry of Science and Higher Eructation No. 8686/E-367/S/2016.

Lasota, Sławomir

Journal:

IFAC-PapersOnLine

Year:

2016

Language:

english

File:

PDF, 427 KB

english, 2016

35

Relating timed and register automata

FIGUEIRA, DIEGO, HOFMAN, PIOTR, LASOTA, SŁAWOMIR

Journal:

Mathematical Structures in Computer Science

Year:

2016

Language:

english

File:

PDF, 550 KB

english, 2016

36

Polyion complex vesicles (PICsomes) from strong copolyelectrolytes. Stability and in vitro studies

Kwolek, Urszula, Nakai, Keita, Pluta, Anna, Zatorska, Maria, Wnuk, Dawid, Lasota, Sławomir, Bednar, Jan, Michalik, Marta, Yusa, Shin-ichi, Kepczynski, Mariusz

Journal:

Colloids and Surfaces B: Biointerfaces

Year:

2017

Language:

english

File:

PDF, 2.78 MB

english, 2017

37

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Timed pushdown automata and branching vector addition systems

Clemente, Lorenzo, Lasota, Slawomir, Lazic, Ranko, Mazowiecki, Filip

Year:

2017

Language:

english

File:

PDF, 316 KB

english, 2017

38

Lamellipodia and Membrane Blebs Drive Efficient Electrotactic Migration of Rat Walker Carcinosarcoma Cells WC 256

Sroka, Jolanta, Krecioch, Izabela, Zimolag, Eliza, Lasota, Slawomir, Rak, Monika, Kedracka-Krok, Sylwia, Borowicz, Pawel, Gajek, Marta, Madeja, Zbigniew, Chrzanowska-Wodnicka, Magdalena

Journal:

Year:

2016

Language:

english

File:

PDF, 1.06 MB

english, 2016

39

Symbolic analysis of electric networks with higher order summative cofactors and parameter decision diagrams

Lasota, Sławomir

Journal:

International Journal of Circuit Theory and Applications

Year:

2018

Language:

english

File:

PDF, 2.44 MB

english, 2018

40

Fenofibrate Reduces the Asthma-Related Fibroblast-To-Myofibroblast Transition by TGF-Β/Smad2/3 Signaling Attenuation and Connexin 43-Dependent Phenotype Destabilization

Paw, Milena, Wnuk, Dawid, Kądziołka, Dominika, Sęk, Aleksandra, Lasota, Sławomir, Czyż, Jarosław, Madeja, Zbigniew, Michalik, Marta

Journal:

International Journal of Molecular Sciences

Year:

2018

Language:

english

File:

PDF, 2.98 MB

english, 2018

41

The role of microtubules in electrotaxis of rat Walker carcinosarcoma WC256 cells

Krecioch, Izabela, Madeja, Zbigniew, Lasota, Slawomir, Zimolag, Eliza, Sroka, Jolanta

Journal:

Acta Biochimica Polonica

Year:

2015

Language:

english

File:

PDF, 1.29 MB

english, 2015

42

An assessment of the relationship between the expression of CCR7/CCL19 axis and selected regulatory miRNAs in non-small cell lung cancer

Baran, Kamila, Kiszałkiewicz, Justyna, Migdalska-Sęk, Monika, Jabłoński, Sławomir, Kordiak, Jacek, Antczak, Adam, Góralska, Katarzyna, Brzeziańska-Lasota, Ewa

Journal:

Molecular Biology Reports

Year:

2019

Language:

english

File:

PDF, 741 KB

english, 2019

43

[ACM Press the 51st Annual ACM SIGACT Symposium - Phoenix, AZ, USA (2019.06.23-2019.06.26)] Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019 - The reachability problem for Petri nets is not elementary

Czerwiński, Wojciech, Lasota, Sławomir, Lazić, Ranko, Leroux, Jérôme, Mazowiecki, Filip

Year:

2019

Language:

english

File:

PDF, 888 KB

english, 2019

44

[ACM Press the 51st Annual ACM SIGACT Symposium - Phoenix, AZ, USA (2019.06.23-2019.06.26)] Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing - STOC 2019 - The reachability problem for Petri nets is not elementary

Czerwiński, Wojciech, Lasota, Sławomir, Lazić, Ranko, Leroux, Jérôme, Mazowiecki, Filip

Year:

2019

File:

PDF, 888 KB

2019

45

Evaluation of the relationship between the IL-17A gene expression level and regulatory miRNA-9 in relation to tumor progression in patients with non-small cell lung cancer: a pilot study

Migdalska-Sęk, Monika, Góralska, Katarzyna, Jabłoński, Sławomir, Kordiak, Jacek, Nawrot, Ewa, Kiszałkiewicz, Justyna M., Pastuszak-Lewandoska, Dorota, Baran, Kamila, Stuss, Michał, Brzeziańska-Lasota,

Journal:

Molecular Biology Reports

Year:

2019

Language:

english

File:

PDF, 1.04 MB

english, 2019

46

Evaluation of the relationship between the IL-17A gene expression level and regulatory miRNA-9 in relation to tumor progression in patients with non-small cell lung cancer: a pilot study

Migdalska-Sęk, Monika, Góralska, Katarzyna, Jabłoński, Sławomir, Kordiak, Jacek, Nawrot, Ewa, Kiszałkiewicz, Justyna M., Pastuszak-Lewandoska, Dorota, Baran, Kamila, Stuss, Michał, Brzeziańska-Lasota,

Journal:

Molecular Biology Reports

Year:

2019

File:

PDF, 1.04 MB

2019